1

Formal Verification of Simulink/Stateflow Diagrams ||

Year:
2017
Language:
english
File:
PDF, 4.17 MB
english, 2017
2

A remark on the Navier-Stokes equations with the Coriolis force

Year:
2017
Language:
english
File:
PDF, 264 KB
english, 2017
4

Formal Verification of Simulink/Stateflow Diagrams || Hybrid Hoare Logic

Year:
2017
Language:
english
File:
PDF, 174 KB
english, 2017
8

Multi-focus image fusion based on the neighbor distance

Year:
2013
Language:
english
File:
PDF, 1.42 MB
english, 2013
18

Decay estimate of solutions for a semi-linear wave equation

Year:
2015
Language:
english
File:
PDF, 1.04 MB
english, 2015
31

Total Synthesis of Astellatol: A Three-Decade Synthetic Puzzle

Year:
2018
Language:
english
File:
PDF, 406 KB
english, 2018